具有多值约束的线性递归查询的有效计算

本文给出三个算法,分别用于把给定的右线性、左线性或左-右线性递归程序改写为一组更有效的规则.与Ullman等人的变换算法不同,本文的算法允许查询的初始约束可以是含任意多个约束元组的集合,而不必是单值的;这样,本文的算法不仅可以用于查询的求值,而且也可以用于子目标的处理.变换算法的正确性和变换后规则的有效性也在本文简略讨论.     

固定波形时间保护间隔OFDM系统循环卷积特性研究

针对固定波形时间保护间隔OFDM系统接收端OFDM信息符号和信道冲击响应之间不具有循环卷积特性的系统特点,本文提出一种简单有效的信号处理算法对该系统接收端OFDM信息符号和信道冲击响应之间的循环卷积特性进行恢复。理论分析和计算机仿真表明,该算法能够恢复接收端此循环卷积特性;在时延扩展和AWGN信道条件下,系统误符号性能受到的影响微弱。     

自动控制原理考试系统的设计与实现

对基于Visual Basic 6．0开发的自动控制原理考试系统的系统结构做了阐述，并简要介绍了该系统的设计思想、主要功能及实现方法。     

数据录入约束与导航器

信息软件使用的方便性、易用性、安全性和稳定性在很大程度上取决于数据录入方式的优劣。分析了数据录入的约束规则，探讨了录入导航原理，并介绍了一种已在开目管理软件中普遍采用的数据录入导航器组件。     

ASP+ADO实现医院门诊在线查询

ASP技术由于其方便 ,灵活及可扩充性等特点和简明、高效的技术优势 ,在Web数据库的开发中获得了广泛的应用。简述了开发Web数据库的重要性 ,介绍了ASP技术的特点及其数据库访问原理 ,ADO对象。实例介绍了ASP实现医院门诊在线查询的方法     

Decomposition of Time Series Dynamic Linear Models

This paper derives the admissible decompositions for a time series dynamic linear model, assuming only that the model is observable. The decompositions depend on factorizations of the characteristic polynomial of the state evolution matrix G into relatively prime factors. This generalizes the method of West (1997 ) which considers one decomposition in the particular case where G is diagonalizable. Conditions are derived for a decomposition to be independent. These results show that no autoregressive process of order d has an independent decomposition for any integer d . Two illustrations of this procedure are discussed in detail.     

火灾早期过程特征的红外光谱探测和诊断

提出用CO作为早期火灾探测的观察对象,利用红外光谱法进行气体探测,并在此基础上建立了基于FTIR的试验系统.通过该方法成功获得CO的浓度值.并用时间序列分析方法建立二阶自回归模型,提取出特征参数进行分析,能在较短时间内将真假火灾区分开来.     

A classification of predictive-reactive project scheduling procedures

The vast majority of the project scheduling research efforts over the past several years have concentrated on the development of workable predictive baseline schedules, assuming complete information and a static and deterministic environment. During execution, however, a project may be subject to numerous schedule disruptions. Proactive-reactive project scheduling procedures try to cope with these disruptions through the combination of a proactive scheduling procedure for generating predictive baseline schedules that are hopefully robust in that they incorporate safety time to absorb anticipated disruptions with a reactive procedure that is invoked when a schedule breakage occurs during project execution. In this paper we discuss the results obtained by a large experimental design set up to evaluate several predictive-reactive resource-constrained project scheduling procedures under the composite objective of maximizing both the schedule stability and the timely project completion probability.     

Simulation-based sequential analysis of Markov switching stochastic volatility models

We propose a simulation-based algorithm for inference in stochastic volatility models with possible regime switching in which the regime state is governed by a first-order Markov process. Using auxiliary particle filters we developed a strategy to sequentially learn about states and parameters of the model. The methodology is tested against a synthetic time series and validated with a real financial time series: the IBOVESPA stock index (São Paulo Stock Exchange).     

准噶尔盆地三台-北三台地区第三系勘探潜力分析

从沉积及储层组合、油气运移系统等方面全面剖析了准噶尔盆地三台-北三台地区第三系油气成藏条件，建立了成藏模式，对未钻探区勘探潜力进行了预测；通过分析，认为该区第三系储层物性主体差，断裂更多地表现为封闭性，导致沟通深部油气源的运移体系不畅，致使第三系圈闭不能有效捕获和储集油气。圈闭又比较匮乏，主体勘探潜力不大。北25井西背斜紧邻多期活动的甘诃子北断裂，第三系可能发育较好的储层，相对有利，北25井西背斜应是钻探第三系的首选目标。